TSTP Solution File: QUA005^1 by Nitpick---2016